// Go作者版权所有。版权所有。
// 此源代码的使用受BSD样式的约束
// 可以在许可证文件中找到的许可证。

package ssa

// 紧密元组选择器确保元组选择器（Select0、Select1、，
// 和SelectN ops）与它们的元组生成器位于同一块中。这个
// 函数还确保不存在重复的元组选择器。
// 计划程序需要这些属性，但可能没有
// 到目前为止，由优化管道维护。
// None
// 见第16741和39472号问题。
func tightenTupleSelectors(f *Func) {
	selectors := make(map[struct {
		id    ID
		which int
	}]*Value)
	for _, b := range f.Blocks {
		for _, selector := range b.Values {
			// 重复数据消除的关键字段
			var tuple *Value
			idx := 0
			switch selector.Op {
			default:
				continue
			case OpSelect1:
				idx = 1
				fallthrough
			case OpSelect0:
				tuple = selector.Args[0]
				if !tuple.Type.IsTuple() {
					f.Fatalf("arg of tuple selector %s is not a tuple: %s", selector.String(), tuple.LongString())
				}
			case OpSelectN:
				tuple = selector.Args[0]
				idx = int(selector.AuxInt)
				if !tuple.Type.IsResults() {
					f.Fatalf("arg of result selector %s is not a results: %s", selector.String(), tuple.LongString())
				}
			}

			// 如果目标块中已有选择器，则
			// 用那个。即使选择器已在中，也要执行此操作
			// 目标块以避免重复的元组选择器。
			key := struct {
				id    ID
				which int
			}{tuple.ID, idx}
			if t := selectors[key]; t != nil {
				if selector != t {
					selector.copyOf(t)
				}
				continue
			}

			// 如果选择器位于错误的块中，请将其复制到目标中
			// 块
			if selector.Block != tuple.Block {
				t := selector.copyInto(tuple.Block)
				selector.copyOf(t)
				selectors[key] = t
				continue
			}

			// 选择器位于目标块中。将其添加到地图中，以便
			// 不能重复。
			selectors[key] = selector
		}
	}
}
